Dependence analysis

Results: 973



#Item
861

Interprocedural Dependence Analysis of Higher-Order Programs via Stack-Reachability Matthew Might, Tarun Prabhu University of Utah

Add to Reading List

Source URL: matt.might.net

- Date: 2014-01-06 09:40:14
    862Model theory / Structure / String / Linguistics / Logic / Mathematics / Character encoding / Metalogic

    Interprocedural Dependence Analysis of Higher-Order Programs via Stack Reachability Matthew Might Tarun Prabhu

    Add to Reading List

    Source URL: matt.might.net

    Language: English - Date: 2014-01-06 09:40:14
    863Computing / Dependence analysis / Parallel computing / Function / Computer memory / Mathematics / Memory barrier

    Noname manuscript No. (will be inserted by the editor) Fences in Weak Memory Models (Extended Version) Jade Alglave1,3 · Luc Maranget1 · Susmit Sarkar2 · Peter Sewell2

    Add to Reading List

    Source URL: www.cl.cam.ac.uk

    Language: English - Date: 2012-10-31 12:22:04
    864Covariance and correlation / Cholesky decomposition / Operator theory / Correlation and dependence / Symmetric matrix / Mathematical analysis / Mathematics / Numerical linear algebra / Matrices

    Positive semi-definite correlation matrix completion Peter J¨ackel∗ Christian Kahl† First version: 6th May 2009

    Add to Reading List

    Source URL: www.pjaeckel.webspace.virginmedia.com

    Language: English - Date: 2011-07-26 17:45:31
    865Probability theory / Data analysis / Signal processing / Variance / Correlation and dependence / Autocorrelation / Normal distribution / Least squares / Estimation theory / Statistics / Covariance and correlation / Regression analysis

    An Analytical Approach for Dynamic Range Estimation

    Add to Reading List

    Source URL: binwu.webs.com

    Language: English
    866Data analysis / Multivariate statistics / Time series analysis / Polynomial chaos / Independent component analysis / Normal distribution / Karhunen–Loève theorem / Estimation theory / Correlation and dependence / Statistics / Stochastic processes / Signal processing

    1618 IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 25, NO. 9, SEPTEMBER 2006 Dynamic-Range Estimation Bin Wu, Student Member, IEEE, Jianwen Zhu, Member, IEEE, and Farid N. Najm, Fel

    Add to Reading List

    Source URL: binwu.webs.com

    Language: English
    867Probability theory / Model theory / Independence / Statistical dependence / Support / Structure / Cooperative game / Mathematical analysis / Measure theory / Mathematics

    Noncooperative Foundations of Stable Sets in Voting Games Anesi, Vincent Working Paper No. 551 May[removed]UNIVERSITY OF

    Add to Reading List

    Source URL: rcer.econ.rochester.edu

    Language: English - Date: 2011-09-10 11:03:09
    868Actuarial science / Copula / Statistical dependence / Neocortex / Normal distribution / Adaptive simulated annealing / Probability distribution / Interaction / Statistics / Multivariate statistics / Regression analysis

    Ideas by Statistical Mechanics (ISM)† Lester Ingber Lester Ingber Research (LIR) [http://www.ingber.com] Abstract

    Add to Reading List

    Source URL: www.ingber.com

    Language: English - Date: 2009-06-08 22:49:21
    869Information / Design of experiments / Psychometrics / Intelligence / Intelligence tests / Physical attractiveness / Analysis of variance / Statistical power / Correlation and dependence / Statistics / Science / Hypothesis testing

    Ratings of attractiveness in Add Health 1 An independent analysis of race differences in ratings of attractiveness in the Add Health Study

    Add to Reading List

    Source URL: wicherts.socsci.uva.nl

    Language: English - Date: 2011-05-24 11:12:46
    870Covariance and correlation / Integral transforms / Image processing / Signal processing / Cross-correlation / Template matching / Fourier transform / Convolution / Correlation and dependence / Mathematical analysis / Mathematics / Fourier analysis

    J.P. Lewis, Fast Template Matching, Vision Interface 95, Canadian Image Processing and Pattern Recognition Society, Quebec City, Canada, May 15-19, 1995, p[removed]Also see the expanded and corrected version "Fast Nor

    Add to Reading List

    Source URL: scribblethink.org

    Language: English - Date: 2009-04-20 05:28:38
    UPDATE